101. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
102. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
103. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
104. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی ن‍رم اف‍زار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
105. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
106. Balancing agility and formalism in software engineerin
پدیدآورنده : / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses
107. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
108. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
109. Broadband communications, networks, and systems :
پدیدآورنده : Ioannis Tomkos ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Broadband communication systems -- Congresses.,Computer. Automation.,software engineering.
110. Business modeling and software design :
پدیدآورنده : Boris Shishkov (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business -- Data processing -- Congresses.,Management information systems -- Congresses.,Software engineering -- Congresses.
رده :
T58
.
6
B675
2012
111. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
112. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
پدیدآورنده : Hakan Erdogmus, Tao Weng )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
113. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
پدیدآورنده : Xavier Franch, Dan Port )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3412
114. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
115. Cloud computing -- CLOUD 2019 :
پدیدآورنده : Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cloud computing, Congresses.,Data protection, Congresses.,Software engineering, Congresses.,Cloud computing.,Data protection.,Software engineering.
رده :
QA76
.
585
116. Communication, smart technologies and innovation for society :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
117. Component-Based Software Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
118. Component-based software engineerin
پدیدآورنده : / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses
رده :
QA
,
76
.
758
,.
C39
,
2008
119. Component-based software engineering
پدیدآورنده : / George T. Heineman ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
رده :
QA
,
76
.
758
,.
C39
,
2005
120. Component-based software engineering
پدیدآورنده : / Lars Grunske, Ralf Reussner, Frantisek Plasil (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Software engineering, Congresses
رده :
QA76
.
758
.
C66
2010
